941. The computational complexity of logical theories
پدیدآورنده: Ferrante, Jeanne
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
no
.
718
942. The computational complexity of logical theories
پدیدآورنده: Jeanne Ferrante, Charles W. Rackoff
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
Vol
.
718
943. The computational complexity of logical theories
پدیدآورنده: Ferrante, Jeanne
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Predicate calculus,، Computational complexity
رده :
QA
1
.
L4
v
.
718
944. The computational complexity of logical theories
پدیدآورنده: / Jeanne Ferrante, Charles W. Rackoff
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Predicate calculus,Computational complexity
رده :
QA
9
.
35
.
F4
1979
945. The computational complexity of machine learning /
پدیدآورنده: Michael J. Kearns
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Machine learning
رده :
Q325
.
5
.
K43
1990
946. The discrepancy method :
پدیدآورنده: Bernard Chazelle.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.,Irregularities of distribution (Number theory),Random variables.,Complexité de calcul (Informatique),Irrégularités de distribution (Théorie des nombres),Variables aléatoires.,Algorithmes.,Berekenbaarheid.,Complexite�� de calcul (informatique),Complexiteit.,Computational complexity.,Computational complexity.,Diskrepanz,Getaltheorie.,Irregularities of distribution (Number theory),Irregularities of distribution (Number theory),Komplexitätstheorie,Probabilités.,Random variables.,Random variables.,Variables aléatoires.,Willekeurige variabelen.,Zufall
رده :
QA324
.
C46
2000
947. The discrepancy method : randomness and complexity
پدیدآورنده: Bernard Chazelle
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Irregularities of distribution )Number theory(,، Random variables,، Computational complexity
رده :
QA
324
.
C45
948. The essence of computation :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity. ;
949. The essence of computation :complexity, analysis, transformation : essays dedicated to Neil D. Jones
پدیدآورنده: Torben Mogensen, David A. Schmidt, I. Hal Sudborough )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Computational complexity
رده :
QA
76
.
L28
Vol
.
2566
950. The graph isomorphism problem
پدیدآورنده: / Johannes Kobler, Uwe Schoning, Jacobo Toran
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computational complexity,Graph theory -- Data processing,Isomorphisms (Mathematics)
رده :
QA
267
.
7
.
K63
1993
951. The graph isomorphism problem : its structural complexity
پدیدآورنده: Johannes Kobler, Uwe Schoning, Jacobo Toran
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity,Data processing ، Graph theory,، Isomorphisms )Mathematics(
رده :
QA
267
.
7
.
K625
952. The language complexity game
پدیدآورنده: Eric Sven Ristad
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Natural language processing )Computer science(,، Computational complexity
رده :
QA
76
.
9
.
N38R57
953. The local information dynamics of distributed computation in complex systems
پدیدآورنده: Joseph T. Lizier.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Coding theory.,Computational complexity.,Electronic data processing -- Distributed processing.
رده :
QA76
.
9
.
D5
J674
2013
954. The multivariate algorithmic revolution and beyond : essays dedicated to Michael R. Fellows on the occasion of his 60th birthday
پدیدآورنده: Hans L. Bodlaender... ]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity,، Algorithms
رده :
QA
76
.
L28
Vol
.
7370
955. The nature of change or the law of unintended consequences
پدیدآورنده: John Mansfield
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Computational complexity,Change
رده :
Q
،
172
.
5
،.
C45
,
M36
،
2010
956. The nature of change or the law of unintended consequences :
پدیدآورنده: John Mansfield.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Change.,Computational complexity.,Change.,Computational complexity.,SCIENCE-- System Theory.
رده :
Q172
.
5
.
C45
M36
2010eb
957. The pillars of computation theory
پدیدآورنده: Arnold L. Rosenberg
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity
رده :
QA267
.
7
.
R67
2010eb
958. The pillars of computation theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity. ; Theoretische Informatik. ; swd. ;
959. The pillars of computation theory
پدیدآورنده: Arnold L. Rosenberg
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Computational complexity,Theoretische Informatik., swd
رده :
QA
،
267
.
7
،.
R67
،
2010
960. The pillars of computation theory
پدیدآورنده: / Arnold L. Rosenberg
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computational complexity,Theoretische Informatik., swd
رده :
E-BOOK
